Compilezeit-Prüfung von Spring-Konfigurationen
نویسندگان
چکیده
Dependency Injection Frameworks wie das Spring Framework verlassen sich auf dynamische Sprachfähigkeiten von Java. Sofern diese Fähigkeiten auf unvorhergesehene Art und Weise eingesetzt werden, können Fehler auftreten, die zur Übersetzungszeit nicht vom Java-Compiler erkannt werden. Diese Arbeit diskutiert die Anwendung von statischer Programmcode-Analyse als Mittel, besagte ÜbersetzungszeitPrüfungen wiederherzustellen. Zuerst werden mögliche Fehler in der Konfiguration von Spring identifiziert und klassifiziert. Attributierte Grammatiken werden benutzt, um auf formale Art und Weise Fehler festzustellen. Anschließend wird eine prototypische CompilerErweiterung basierend auf der Java Pluggable Annotation Processing API vorgestellt.
منابع مشابه
Hybrides Scheduling
In dieser Arbeit wird ein hybrider Ansatz zur automatischen Parallelisierung von Computerprogrammen vorgestellt. Das Merkmal ” hybrid“ bezieht sich dabei auf das Scheduling, das teilweise zur Compilezeit und teilweise zur Laufzeit durchgeführt wird. Die Verlagerung des Schedulings in das eine oder andere Zeitfenster wird über die Berechenbarkeit der Ausführungszeitpunkte getroffen. Das Scheduli...
متن کاملRectilinear Crossing Minimization
This thesis deals with the rectilinear crossing minimization problem, which is NP-hard [BD93]. More precisely, we propose a heuristic for computing a straight-line drawing of a general graph G which realizes a small rectilinear crossing number. Inspired by Gutwenger et al. [GMW05], we pursue an approach which extracts a planar subgraph that includes as many edges of G as possible and iterativel...
متن کاملEin Laufzeitmodel-basierter Ansatz zur Datenschutz-Prüfung von Cloud-Systemen
Personenbezogene Daten werden durch Datenschutzrichtlinien geschützt. Allerdings können Cloud-Systeme Komponenten zur Laufzeit migrieren und replizieren. Das kann die geographische Lage der Daten beeinflussen und damit zu einer Verletzung der Richtlinien führen. In unserer Forschung untersuchen wir den Einsatz von Laufzeitmodellen. Die vorgeschlagenen Laufzeitmodelle bilden die Architektur und ...
متن کامل